Skip to content
This repository was archived by the owner on Nov 7, 2025. It is now read-only.

Conversation

@mieciu
Copy link
Member

@mieciu mieciu commented Aug 13, 2025

There's been a change in Quesma dependencies

@mieciu mieciu added this pull request to the merge queue Aug 13, 2025
Merged via the queue into main with commit f60fb07 Aug 13, 2025
11 of 12 checks passed
@mieciu mieciu deleted the notice/20250813091751 branch August 13, 2025 09:33
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants